机译:关于非线性波动方程u(tt)-B(t,平行于u平行于(2),平行于u(x)平行于(2))u(xx)= f(x,t,u,u( x),u(t),平行于u平行于(2),平行于u(x)平行于(2)与混合齐次条件相关
机译:切线束上的一般连接的切线束指数映射和局部自动平行坐标,并应用于Finsler几何
机译:关于非线性波动方程u(tt)-B(平行于u(x)平行于2)u(xx)= f(x,t,u,u(x),u(t),平行于u(x )平行于(2))与混合均匀条件相关
机译:并行化定理的捷径
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:蛋白质水合的程度决定了非均相或均匀成核产生的偏好产生平行或反平行β-片α-突触核蛋白聚集体
机译:局部同构三元组:平行截面和平行束同构的扩展定理
机译:并行化局部加权回归